<html><head>
<style>
table { width:100%; text-align: center;}
table, th, td { border: 1px solid black; border-collapse: collapse;}
th, td { padding: 5px; text-align: center;}
table#t01 tr:nth-child(even) { background-color: #eee;}
table#t01 tr:nth-child(odd) { background-color:#fff;}
table#t01 th { background-color: white; color: black; }
</style>
</head><body><h3>Fuzzing configuration</h3><table border="0" id="t01"><th>fuzzer ID</th><th>commandline</th><th>runtime</th><th>cycles</th><th>exec</th><th>exec per sec</th><th>paths total</th><th>afl crashes</th><tr><td>fuzzer44</td><td style="text-align:left">./app -f @@</td><td>0:10:05</td><td>54</td><td>1320587</td><td>2300.17</td><td>20</td><td>3</td><tr><td>fuzzer0</td><td style="text-align:left">./app -f @@</td><td>0:10:01</td><td>5</td><td>1273509</td><td>2192.15</td><td>45</td><td>7</td></tr></table></br><h3>Input Files</h3><table border="0" id="t01"><tr><th>filename</th><th>data</th></tr><tr><td>test000006</td><td><textarea rows="4" cols="68" style="font-family: monospace; font-size: 14px;">0000000: 0000 0000 0000 0000 0000 0000 0000 0000  ................
0000010: 0000 0000 0000 0000 0000 0000 0000 0000  ................
0000020: 0000 0000 0000 0000 0000 0000 0000 0000  ................
0000030: 0000 0000 0000 0000 0000 0000 0000 0000  ................
</textarea></td></tr><tr><td>test000036</td><td><textarea rows="3" cols="68" style="font-family: monospace; font-size: 14px;">0000000: 7661 0000 0000 0000 0000 0000 0000 0000  va..............
0000010: 0000 0000 0000 0a0a 0000 000a 000a 0a00  ................
0000020: 0a00 0a                                  ...
</textarea></td></tr><tr><td>test000027</td><td><textarea rows="4" cols="68" style="font-family: monospace; font-size: 14px;">0000000: 0a00 0a00 0a0a 000a 000a 0000 0a73 0000  .............s..
0000010: 0000 0000 0a0a 000a 0000 0a00 0a62 7566  .............buf
0000020: 6672 0b00 0000 000a 0a00 000a 0a00 0000  fr..............
0000030: 0a0a 0000 0000 0a00 0000 0a00 000a 0a    ...............
</textarea></td></tr><tr><td>test000028</td><td><textarea rows="3" cols="68" style="font-family: monospace; font-size: 14px;">0000000: 6275 6666 0a73 7400 0000 0000 0000 0000  buff.st.........
0000010: 0000 000a 000a 000a 0a00 0a0a 0000 0000  ................
0000020: 0000 0a                                  ...
</textarea></td></tr><tr><td>test000019</td><td><textarea rows="1" cols="68" style="font-family: monospace; font-size: 14px;">0000000: 7374 6163 6b0a                           stack.
</textarea></td></tr><tr><td>test000032</td><td><textarea rows="3" cols="68" style="font-family: monospace; font-size: 14px;">0000000: 0000 0000 0000 0000 0000 0a0a 0a0a 000a  ................
0000010: 0000 0000 0000 0000 0000 0000 0a0a 000a  ................
0000020: 0a0a 0a                                  ...
</textarea></td></tr><tr><td>test000038</td><td><textarea rows="3" cols="68" style="font-family: monospace; font-size: 14px;">0000000: 7661 6c75 6500 0000 0a00 0a0a 0a00 000a  value...........
0000010: 0000 0a00 000a 7600 0000 0a0a 000a 0a00  ......v.........
0000020: 000a 000a                                ....
</textarea></td></tr><tr><td>test000030</td><td><textarea rows="3" cols="68" style="font-family: monospace; font-size: 14px;">0000000: 0000 0000 0a73 0000 0000 0000 0000 0000  .....s..........
0000010: 0000 0a00 0a0a 0a00 000a 0000 000a 000a  ................
0000020: 0000 000a                                ....
</textarea></td></tr><tr><td>test000029</td><td><textarea rows="2" cols="68" style="font-family: monospace; font-size: 14px;">0000000: 7374 6163 0a76 6100 0000 0000 0000 0000  stac.va.........
0000010: 0000 0a0a 0000 0a73 7461 0000 0a00 0a    .......sta.....
</textarea></td></tr><tr><td>test000043</td><td><textarea rows="3" cols="68" style="font-family: monospace; font-size: 14px;">0000000: 7661 6c75 650b 6000 0000 0a00 000a 000a  value.`.........
0000010: 0000 0a00 000a 0a0a 000a 0a00 000a 7300  ..............s.
0000020: 0000 0a0a                                ....
</textarea></td></tr><tr><td>test000035</td><td><textarea rows="2" cols="68" style="font-family: monospace; font-size: 14px;">0000000: 7600 0000 0000 0000 0000 0000 000a 0a0a  v...............
0000010: 000a 0000 0a                             .....
</textarea></td></tr><tr><td>test000037</td><td><textarea rows="2" cols="68" style="font-family: monospace; font-size: 14px;">0000000: 0a73 0000 0000 0000 0000 0000 0000 0000  .s..............
0000010: 0000 0000 0a00 000a 000a 0a0a 0a00 0a    ...............
</textarea></td></tr><tr><td>test000033</td><td><textarea rows="2" cols="68" style="font-family: monospace; font-size: 14px;">0000000: 7661 6c75 0a62 0000 0000 0000 0000 0000  valu.b..........
0000010: 000a 000a 0a00 0a76 616c 000a 000a 0a    .......val.....
</textarea></td></tr><tr><td>test000040</td><td><textarea rows="3" cols="68" style="font-family: monospace; font-size: 14px;">0000000: 7661 6c75 650b 0000 0000 0a0a 6275 0000  value.......bu..
0000010: 0000 000a 0a00 0a00 0a0a 0000 0000 0a00  ................
0000020: 0a0a                                     ..
</textarea></td></tr><tr><td>test000039</td><td><textarea rows="3" cols="68" style="font-family: monospace; font-size: 14px;">0000000: 7374 6163 6b01 0000 000a 000a 0a00 0a0a  stack...........
0000010: 0000 000a 0000 0a0a 000a 000a 0a00 0a00  ................
0000020: 0a                                       .
</textarea></td></tr><tr><td>test000025</td><td><textarea rows="1" cols="68" style="font-family: monospace; font-size: 14px;">0000000: 7661 6c75 6530 0000 000a                 value0....
</textarea></td></tr><tr><td>test000042</td><td><textarea rows="3" cols="68" style="font-family: monospace; font-size: 14px;">0000000: 7661 6c75 652b 0000 0000 0a0a 0000 000a  value+..........
0000010: 7600 0000 0000 000a 7300 0000 0000 0a0a  v.......s.......
0000020: 0a00 0a0a                                ....
</textarea></td></tr><tr><td>test000034</td><td><textarea rows="2" cols="68" style="font-family: monospace; font-size: 14px;">0000000: 7661 6c00 0000 0000 0000 0000 0000 0a00  val.............
0000010: 0a00 0a0a                                ....
</textarea></td></tr><tr><td>test000031</td><td><textarea rows="1" cols="68" style="font-family: monospace; font-size: 14px;">0000000: 6275 6666 720a                           buffr.
</textarea></td></tr><tr><td>test000024</td><td><textarea rows="4" cols="68" style="font-family: monospace; font-size: 14px;">0000000: 000a 0a00 0a00 0000 0a0a 0a76 0000 000a  ...........v....
0000010: 0000 0a0a 000a 0a0a 0000 000a 0000 0a00  ................
0000020: 0000 0a00 000a 0a00 0000 0a00 0a0a 7374  ..............st
0000030: 0000 000a 000a 0000 000a 000a 0a00 0a    ...............
</textarea></td></tr><tr><td>test000041</td><td><textarea rows="2" cols="68" style="font-family: monospace; font-size: 14px;">0000000: 7661 6c75 652d 0000 0000 0a0a 7374 0000  value-......st..
0000010: 000a 0a00 0a0a 000a 0a00 0a0a 0000 0a    ...............
</textarea></td></tr></table></br><h3>Crashing Input Files (already found by Klee)</h3><table border="0" id="t01"><tr><th>filename</th><th>data</th></tr><tr><td>test000026</td><td><textarea rows="1" cols="68" style="font-family: monospace; font-size: 14px;">0000000: 7661 6c75 6534 3200 0000 000a            value42.....
</textarea></td></tr></table>